Search CORE

564 research outputs found

[Review of: A.D. Aczel (2011) A strange wilderness: the lives of the great mathematicians]

Author: Apt K.R.
Publication venue
Publication date: 01/01/2012
Field of study

International Migration, Integration and Social Cohesion online publications

[Review of: A. Doxiadis, C.H. Papadimitriou (2009) Logicomix: an epic search for truth]

Author: Apt K.R.
Publication venue
Publication date: 01/01/2010
Field of study

International Migration, Integration and Social Cohesion online publications

[Review of: A. Doxiadis, C.H. Papadimitriou (2009) Logicomix: an epic search for truth]

Author: Apt K.R.
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2010
Field of study

International Migration, Integration and Social Cohesion online publications

Direct proofs of order independence

Author: Apt K.R.
Publication venue
Publication date: 01/01/2011
Field of study

International Migration, Integration and Social Cohesion online publications

Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming

Author: Apt K.R.
Publication venue: 'Elsevier BV'
Publication date: 01/01/1996
Field of study

International Migration, Integration and Social Cohesion online publications

Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, {ISBN} 978-0-521-11801-9, 152 pages

Author: Apt K.R. (Krzysztof)
Publication venue: 'Cambridge University Press (CUP)'
Publication date: 17/03/2017
Field of study

CWI's Institutional Repository

Special issue on constraint programming : preface

Author: Apt K.R. (Krzysztof)
Publication venue: Stichting Mathematisch Centrum
Publication date: 01/09/1998
Field of study

CWI's Institutional Repository

Ten years of Hoare s logic, a survey, part II: n ondeterminism

Author: Apt K.R. (Krzysztof)
Publication venue: 'Elsevier BV'
Publication date: 01/01/1984
Field of study

CWI's Institutional Repository

Relative Strength of Strategy Elimination Procedures

Author: Apt K.R. (Krzysztof)
Publication venue
Publication date: 01/01/2007
Field of study

CWI's Institutional Repository

The rough guide to constraint propagation

Author: Apt K.R. (Krzysztof)
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/1999
Field of study

CWI's Institutional Repository

…

core

core